Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign

Source URL: cgo.org

• Computing
• Software
• Programming language implementation
• Compiler construction
• Cross-platform software
• Array programming languages
• Functional languages
• Interpreter
• Bytecode
• Just-in-time compilation
• Compiler
• Java

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computing
• Software
• Compiler construction
• Formal methods
• Logic in computer science
• Programming language implementation
• Functional languages
• Programming language
• Semantics
• Compiler
• Low-level programming language

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes

DFScala: High Level Dataflow Support for Scala Daniel Goodman∗ Salman Khan Chris Seaton

Source URL: chrisseaton.com

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• Programming paradigms
• Computer architecture
• Functional languages
• Dataflow
• Concurrent computing
• Scala
• Functional programming
• Pattern matching

∗ Effective Web Scraping with OXPath Giovanni Grasso, Tim Furche, and Christian Schallhart Department of Computer Science, Oxford University, Wolfson Building, Parks Road, Oxford OX1 3QD

Source URL: www2013.wwwconference.org

• Computing
• Information science
• Data management
• World Wide Web
• Semantic Web
• Query languages
• Knowledge representation
• Functional languages
• XPath
• Web scraping
• XQuery
• Resource Description Framework

Helium, for Learning Haskell Bastiaan Heeren Daan Leijen Arjan van IJzendoorn

Source URL: research.microsoft.com

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Type theory
• Data types
• Functional programming
• Literate programming
• Haskell
• Type class
• Type inference
• OCaml

Abstract Functional Programming with Logical Frameworks Adam Brett Poswolsky 2008 Logical frameworks are languages used to represent information. In this dissertation we present the Delphin programming language, which i

Source URL: www.cs.yale.edu

Michael D. Adams Address: 350 S 600 E / Apt. 105 Salt Lake City, UThttp://michaeldadams.org

Source URL: michaeldadams.org

• Computer science
• Functional programming
• International Conference on Functional Programming
• Academia
• Symposium on Principles of Programming Languages
• Computing
• ACM SIGACT
• SIGPLAN
• David Ungar
• Programming Language Design and Implementation

Dagstuhl SeminarWeb Application Security 29.03. – Executive Summary Dan Boneh1 , Ulfar Erlingsson2 , Martin Johns3 and Benjamin Livshits4 1

Source URL: drops.dagstuhl.de

• Computing
• Software engineering
• Software
• Web development
• Functional languages
• Web programming
• Hacking
• Web applications
• JavaScript
• Opa
• Cross-site scripting
• Cross-site request forgery

Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Type theory
• Functional languages
• Proof assistants
• Dependently typed programming
• Logic in computer science
• Coq
• Dependent type
• Functional programming
• Haskell
• Inductive type
• Quicksort
• CurryHoward correspondence